automatic program verification system

英 [ˌɔːtəˈmætɪk ˈprəʊɡræm ˌvɛrɪfɪˈkeɪʃən ˈsɪstəm] 美 [ˌɔːtəˈmætɪk ˈproʊɡræm ˌvɛrəfəˈkeɪʃən ˈsɪstəm]
automatic program verification system
网络  自动程序验证系统